Domänenspezifische Vorabanalyse und geschickte Generierung von Optimierungsproblemen
نویسنده
چکیده
Optimierungsprobleme lassen sich mit domänenspezi®schen Sprachen beschreiben, aus denen dann z. B. Gemischt-Ganzzahlige Lineare Programme (MILP) erstellt werden können. Bei der Auswertung dieser durch entsprechende Löser erhält man jedoch nur unspezi®sche Fehlermeldungen. Um die Anwendbarkeit der domänenspezi®schen Sprache zu fördern, soll durch entsprechende Analysen die Lösbarkeit des Problems untersucht und entsprechende Fehlermeldungen ausgegeben werden. Zusätzlich können die ermittelten Informationen bei der Generierung des MILPs angewandt werden, um dessen weitere Verarbeitung zu begünstigen.
منابع مشابه
Generierung von Systemtestfällen für Car Multimedia Systeme aus domänenspezifischen UML Modellen
Zur Sicherung der Qualität und Zuverlässigkeit erfordert ein steigender Anteil an Software in Infotainmentsystemen moderner Fahrzeuge im gleichen Maße einen steigenden Anteil an Systemtestfällen. Die Wiederverwendbarkeit solcher Testfälle in verschiedenen Projekten gestaltet sich oft schwierig, da projektspezifische Informationen in den Testfällen enthalten sind. In diesem Papier wird zunächst ...
متن کاملVerifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers
Ein Model Checker verifiziert, ob ein Modell bestimmte Anforderungen erfüllt. Eine Möglichkeit, das Verhalten von Softwaresystemen zu modellieren, sind endliche Automaten. Diese finden Einzug in die Unified Modelling Language in Form von Statecharts. UML-Statecharts können ein hohes Maß an Komplexität erreichen, so dass sich ihr Zustandsraum nicht mehr komplett in den Hauptspeicher abbilden läs...
متن کاملSystematische und effiziente Erhebung hochgenauer Straßengeodaten für Geoinformationssysteme und Fahrsimulationen
Die Entwicklung von Fahrerassistenzund Automationssystemen benötigt domänenspezifische Datenformate für Fahrsimulation und Automation, die ein Straßennetzwerk logisch und vor allem geometrisch genau beschreiben. Da immer komplexere Situationen wie städtische Umgebungen benötigt werden und die dafür notwendigen Informationen mit der geforderten Genauigkeit nicht immer aus aktuell verfügbaren Geo...
متن کاملKlassifikation von Sprachen zur Modelling medizinischer Behandlungspfade
Informationsmodelle lassen sich durch domänenneutrale oder domänenspezifische Modellierungssprachen beschreiben. Domänenspezifische Sprachen haben dabei den Vorteil, auf die Besonderheiten einer Domäne besser einzugehen. In diesem Beitrag werden medizinspezifische Sprachen zur Modellierung von Behandlungsprozessen, die auch als Behandlungspfade bezeichnet werden, anhand eines Vergleichsrahmens ...
متن کاملPODSL - Domänenspezifische Datenmodellierung auf Basis von Prozessen
In den letzten Jahrzehnten ist das gespeicherte Datenvolumen in Wissenschaft und Industrie exorbitant gestiegen. Dabei werden Daten zunehmend an einer zentralen Stelle für eine bestimmte Anwendungsdomäne gespeichert aber auch zwischen Teilnehmern innerhalb einer Domäne ausgetauscht. Dadurch entsteht ein erheblicher Bedarf an domänenspezifischen Datenstandards. Da innerhalb einer Domäne bestimmt...
متن کامل